node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
link(1,2) :- #0.486.
link(2,1) :- #0.886.
link(1,13) :- #0.19.
link(13,1) :- #0.472.
link(1,21) :- #0.841.
link(21,1) :- #0.997.
link(1,22) :- #0.362.
link(22,1) :- #0.704.
link(1,27) :- #0.436.
link(27,1) :- #0.787.
link(1,29) :- #0.854.
link(29,1) :- #0.688.
link(1,47) :- #0.421.
link(47,1) :- #0.679.
link(1,59) :- #0.528.
link(59,1) :- #0.111.
link(1,62) :- #0.188.
link(62,1) :- #0.665.
link(1,113) :- #0.417.
link(113,1) :- #0.234.
link(1,125) :- #0.733.
link(125,1) :- #0.148.
link(2,19) :- #0.744.
link(19,2) :- #0.438.
link(2,43) :- #0.644.
link(43,2) :- #0.027.
link(2,50) :- #0.51.
link(50,2) :- #0.477.
link(2,60) :- #0.495.
link(60,2) :- #0.037.
link(2,61) :- #0.898.
link(61,2) :- #0.078.
link(2,63) :- #0.507.
link(63,2) :- #0.088.
link(2,69) :- #0.248.
link(69,2) :- #0.776.
link(2,88) :- #0.67.
link(88,2) :- #0.689.
link(2,109) :- #0.641.
link(109,2) :- #0.6.
link(3,9) :- #0.404.
link(9,3) :- #0.887.
link(3,19) :- #0.564.
link(19,3) :- #0.124.
link(3,31) :- #0.661.
link(31,3) :- #0.375.
link(3,34) :- #0.94.
link(34,3) :- #0.22.
link(3,40) :- #0.855.
link(40,3) :- #0.264.
link(3,55) :- #0.012.
link(55,3) :- #0.704.
link(3,59) :- #0.412.
link(59,3) :- #0.047.
link(3,61) :- #0.495.
link(61,3) :- #0.759.
link(3,64) :- #0.18.
link(64,3) :- #0.652.
link(3,67) :- #0.806.
link(67,3) :- #0.321.
link(3,68) :- #0.66.
link(68,3) :- #0.362.
link(3,71) :- #0.484.
link(71,3) :- #0.122.
link(3,84) :- #0.454.
link(84,3) :- #0.405.
link(3,85) :- #0.53.
link(85,3) :- #0.332.
link(3,90) :- #0.656.
link(90,3) :- #0.979.
link(3,95) :- #0.945.
link(95,3) :- #0.212.
link(3,100) :- #0.034.
link(100,3) :- #0.359.
link(3,111) :- #0.263.
link(111,3) :- #0.013.
link(3,118) :- #0.697.
link(118,3) :- #0.129.
link(3,129) :- #0.141.
link(129,3) :- #0.048.
link(3,135) :- #0.037.
link(135,3) :- #0.665.
link(4,8) :- #0.827.
link(8,4) :- #0.
link(4,10) :- #0.717.
link(10,4) :- #0.31.
link(4,23) :- #0.387.
link(23,4) :- #0.799.
link(4,24) :- #0.363.
link(24,4) :- #0.461.
link(4,33) :- #0.49.
link(33,4) :- #0.814.
link(4,35) :- #0.006.
link(35,4) :- #0.52.
link(4,45) :- #0.191.
link(45,4) :- #0.36.
link(4,49) :- #0.515.
link(49,4) :- #0.874.
link(4,57) :- #0.729.
link(57,4) :- #0.267.
link(4,62) :- #0.832.
link(62,4) :- #0.842.
link(4,63) :- #0.982.
link(63,4) :- #0.111.
link(4,77) :- #0.528.
link(77,4) :- #0.918.
link(4,95) :- #0.595.
link(95,4) :- #0.938.
link(4,105) :- #0.397.
link(105,4) :- #0.333.
link(4,110) :- #0.405.
link(110,4) :- #0.473.
link(4,115) :- #0.758.
link(115,4) :- #0.327.
link(4,130) :- #0.818.
link(130,4) :- #0.812.
link(5,17) :- #0.083.
link(17,5) :- #0.133.
link(5,32) :- #0.889.
link(32,5) :- #0.942.
link(5,37) :- #0.158.
link(37,5) :- #0.034.
link(5,51) :- #0.039.
link(51,5) :- #0.579.
link(5,53) :- #0.368.
link(53,5) :- #0.388.
link(5,57) :- #0.195.
link(57,5) :- #0.341.
link(5,59) :- #0.943.
link(59,5) :- #0.029.
link(5,76) :- #0.432.
link(76,5) :- #0.094.
link(5,78) :- #0.182.
link(78,5) :- #0.137.
link(5,86) :- #0.735.
link(86,5) :- #0.127.
link(5,104) :- #0.201.
link(104,5) :- #0.537.
link(5,109) :- #0.584.
link(109,5) :- #0.936.
link(5,123) :- #0.675.
link(123,5) :- #0.538.
link(5,125) :- #0.719.
link(125,5) :- #0.742.
link(5,130) :- #0.128.
link(130,5) :- #0.074.
link(5,133) :- #0.682.
link(133,5) :- #0.099.
link(6,11) :- #0.594.
link(11,6) :- #0.921.
link(6,19) :- #0.598.
link(19,6) :- #0.145.
link(6,22) :- #0.006.
link(22,6) :- #0.716.
link(6,24) :- #0.934.
link(24,6) :- #0.321.
link(6,30) :- #0.453.
link(30,6) :- #0.962.
link(6,31) :- #0.867.
link(31,6) :- #0.859.
link(6,33) :- #0.983.
link(33,6) :- #0.046.
link(6,37) :- #0.694.
link(37,6) :- #0.733.
link(6,39) :- #0.749.
link(39,6) :- #0.929.
link(6,41) :- #0.01.
link(41,6) :- #0.117.
link(6,66) :- #0.993.
link(66,6) :- #0.641.
link(6,79) :- #0.93.
link(79,6) :- #0.042.
link(6,82) :- #0.26.
link(82,6) :- #0.332.
link(6,86) :- #0.24.
link(86,6) :- #0.908.
link(6,89) :- #0.853.
link(89,6) :- #0.622.
link(6,101) :- #0.518.
link(101,6) :- #0.683.
link(6,131) :- #0.325.
link(131,6) :- #0.52.
link(7,11) :- #0.775.
link(11,7) :- #0.068.
link(7,17) :- #0.719.
link(17,7) :- #0.746.
link(7,32) :- #0.358.
link(32,7) :- #0.007.
link(7,34) :- #0.654.
link(34,7) :- #0.717.
link(7,45) :- #0.539.
link(45,7) :- #0.822.
link(7,56) :- #0.577.
link(56,7) :- #0.772.
link(7,67) :- #0.425.
link(67,7) :- #0.81.
link(7,69) :- #0.833.
link(69,7) :- #0.755.
link(7,79) :- #0.586.
link(79,7) :- #0.596.
link(7,98) :- #0.375.
link(98,7) :- #0.313.
link(7,114) :- #0.724.
link(114,7) :- #0.236.
link(7,120) :- #0.173.
link(120,7) :- #0.3.
link(8,16) :- #0.998.
link(16,8) :- #0.245.
link(8,36) :- #0.75.
link(36,8) :- #0.229.
link(8,37) :- #0.547.
link(37,8) :- #0.383.
link(8,53) :- #0.012.
link(53,8) :- #0.643.
link(8,55) :- #0.745.
link(55,8) :- #0.313.
link(8,56) :- #0.029.
link(56,8) :- #0.651.
link(8,57) :- #0.561.
link(57,8) :- #0.715.
link(8,93) :- #0.818.
link(93,8) :- #0.282.
link(8,102) :- #0.758.
link(102,8) :- #0.334.
link(8,105) :- #0.331.
link(105,8) :- #0.128.
link(8,110) :- #0.06.
link(110,8) :- #0.743.
link(8,113) :- #0.754.
link(113,8) :- #0.336.
link(8,116) :- #0.484.
link(116,8) :- #0.702.
link(8,123) :- #0.157.
link(123,8) :- #0.991.
link(8,134) :- #0.101.
link(134,8) :- #0.308.
link(9,21) :- #0.416.
link(21,9) :- #0.543.
link(9,26) :- #0.329.
link(26,9) :- #0.131.
link(9,32) :- #0.798.
link(32,9) :- #0.982.
link(9,40) :- #0.378.
link(40,9) :- #0.18.
link(9,44) :- #0.552.
link(44,9) :- #0.983.
link(9,58) :- #0.661.
link(58,9) :- #0.253.
link(9,76) :- #0.271.
link(76,9) :- #0.389.
link(9,80) :- #0.412.
link(80,9) :- #0.634.
link(9,87) :- #0.47.
link(87,9) :- #0.932.
link(9,97) :- #0.531.
link(97,9) :- #0.504.
link(9,110) :- #0.257.
link(110,9) :- #0.4.
link(9,120) :- #0.049.
link(120,9) :- #0.119.
link(9,128) :- #0.718.
link(128,9) :- #0.22.
link(9,129) :- #0.854.
link(129,9) :- #0.019.
link(10,20) :- #0.684.
link(20,10) :- #0.179.
link(10,23) :- #0.305.
link(23,10) :- #0.131.
link(10,84) :- #0.359.
link(84,10) :- #0.265.
link(10,88) :- #0.556.
link(88,10) :- #0.909.
link(10,93) :- #0.194.
link(93,10) :- #0.209.
link(10,99) :- #0.329.
link(99,10) :- #0.919.
link(10,119) :- #0.841.
link(119,10) :- #0.52.
link(11,12) :- #0.124.
link(12,11) :- #0.962.
link(11,13) :- #0.721.
link(13,11) :- #0.745.
link(11,21) :- #0.617.
link(21,11) :- #0.729.
link(11,25) :- #0.001.
link(25,11) :- #0.394.
link(11,35) :- #0.058.
link(35,11) :- #0.482.
link(11,37) :- #0.784.
link(37,11) :- #0.895.
link(11,51) :- #0.63.
link(51,11) :- #0.845.
link(11,57) :- #0.25.
link(57,11) :- #0.873.
link(11,59) :- #0.96.
link(59,11) :- #0.734.
link(11,60) :- #0.928.
link(60,11) :- #0.662.
link(11,65) :- #0.688.
link(65,11) :- #0.836.
link(11,79) :- #0.344.
link(79,11) :- #0.928.
link(11,98) :- #0.397.
link(98,11) :- #0.213.
link(11,113) :- #0.94.
link(113,11) :- #0.515.
link(11,114) :- #0.295.
link(114,11) :- #0.047.
link(11,118) :- #0.437.
link(118,11) :- #0.521.
link(11,120) :- #0.178.
link(120,11) :- #0.741.
link(11,123) :- #0.07.
link(123,11) :- #0.483.
link(11,128) :- #0.117.
link(128,11) :- #0.565.
link(11,131) :- #0.302.
link(131,11) :- #0.473.
link(12,22) :- #0.45.
link(22,12) :- #0.207.
link(12,23) :- #0.533.
link(23,12) :- #0.492.
link(12,35) :- #0.419.
link(35,12) :- #0.593.
link(12,52) :- #0.715.
link(52,12) :- #0.715.
link(12,53) :- #0.798.
link(53,12) :- #0.658.
link(12,55) :- #0.978.
link(55,12) :- #0.713.
link(12,56) :- #0.135.
link(56,12) :- #0.411.
link(12,62) :- #0.987.
link(62,12) :- #0.47.
link(12,64) :- #0.619.
link(64,12) :- #0.277.
link(12,75) :- #0.441.
link(75,12) :- #0.958.
link(12,85) :- #0.666.
link(85,12) :- #0.887.
link(12,89) :- #0.561.
link(89,12) :- #0.729.
link(12,116) :- #0.159.
link(116,12) :- #0.742.
link(12,119) :- #0.546.
link(119,12) :- #0.749.
link(12,122) :- #0.164.
link(122,12) :- #0.795.
link(12,124) :- #0.367.
link(124,12) :- #0.991.
link(12,129) :- #0.941.
link(129,12) :- #0.391.
link(13,18) :- #0.371.
link(18,13) :- #0.555.
link(13,28) :- #0.287.
link(28,13) :- #0.03.
link(13,30) :- #0.419.
link(30,13) :- #0.588.
link(13,34) :- #0.809.
link(34,13) :- #0.586.
link(13,44) :- #0.419.
link(44,13) :- #0.822.
link(13,47) :- #0.411.
link(47,13) :- #0.199.
link(13,50) :- #0.694.
link(50,13) :- #0.091.
link(13,51) :- #0.432.
link(51,13) :- #0.706.
link(13,60) :- #0.626.
link(60,13) :- #0.844.
link(13,65) :- #0.802.
link(65,13) :- #0.944.
link(13,89) :- #0.923.
link(89,13) :- #0.244.
link(13,96) :- #0.911.
link(96,13) :- #0.194.
link(13,100) :- #0.183.
link(100,13) :- #0.234.
link(13,113) :- #0.565.
link(113,13) :- #0.798.
link(13,121) :- #0.341.
link(121,13) :- #0.548.
link(13,131) :- #0.082.
link(131,13) :- #0.212.
link(14,22) :- #0.226.
link(22,14) :- #0.743.
link(14,24) :- #0.047.
link(24,14) :- #0.327.
link(14,31) :- #0.795.
link(31,14) :- #0.172.
link(14,35) :- #0.22.
link(35,14) :- #0.501.
link(14,45) :- #0.108.
link(45,14) :- #0.414.
link(14,47) :- #0.936.
link(47,14) :- #0.811.
link(14,50) :- #0.878.
link(50,14) :- #0.111.
link(14,60) :- #0.112.
link(60,14) :- #0.226.
link(14,67) :- #0.091.
link(67,14) :- #0.654.
link(14,80) :- #0.55.
link(80,14) :- #0.747.
link(14,87) :- #0.893.
link(87,14) :- #0.596.
link(14,88) :- #0.865.
link(88,14) :- #0.719.
link(14,99) :- #0.731.
link(99,14) :- #0.584.
link(14,111) :- #0.614.
link(111,14) :- #0.989.
link(14,118) :- #0.536.
link(118,14) :- #0.589.
link(14,126) :- #0.426.
link(126,14) :- #0.243.
link(14,128) :- #0.175.
link(128,14) :- #0.18.
link(14,134) :- #0.435.
link(134,14) :- #0.458.
link(15,20) :- #0.167.
link(20,15) :- #0.841.
link(15,42) :- #0.488.
link(42,15) :- #0.134.
link(15,59) :- #0.849.
link(59,15) :- #0.075.
link(15,60) :- #0.486.
link(60,15) :- #0.95.
link(15,85) :- #0.39.
link(85,15) :- #0.382.
link(15,88) :- #0.37.
link(88,15) :- #0.908.
link(15,102) :- #0.758.
link(102,15) :- #0.602.
link(15,114) :- #0.32.
link(114,15) :- #0.73.
link(16,22) :- #0.486.
link(22,16) :- #0.508.
link(16,26) :- #0.481.
link(26,16) :- #0.248.
link(16,32) :- #0.709.
link(32,16) :- #0.566.
link(16,46) :- #0.186.
link(46,16) :- #0.283.
link(16,51) :- #0.898.
link(51,16) :- #0.3.
link(16,54) :- #0.206.
link(54,16) :- #0.092.
link(16,71) :- #0.301.
link(71,16) :- #0.52.
link(16,75) :- #0.902.
link(75,16) :- #0.786.
link(16,79) :- #0.599.
link(79,16) :- #0.462.
link(16,84) :- #0.364.
link(84,16) :- #0.367.
link(16,86) :- #0.452.
link(86,16) :- #0.79.
link(16,100) :- #0.317.
link(100,16) :- #0.639.
link(16,111) :- #0.649.
link(111,16) :- #0.778.
link(16,112) :- #0.957.
link(112,16) :- #0.356.
link(16,129) :- #0.553.
link(129,16) :- #0.321.
link(17,27) :- #0.207.
link(27,17) :- #0.642.
link(17,43) :- #0.695.
link(43,17) :- #0.851.
link(17,49) :- #0.554.
link(49,17) :- #0.044.
link(17,57) :- #0.109.
link(57,17) :- #0.491.
link(17,73) :- #0.518.
link(73,17) :- #0.218.
link(17,82) :- #0.431.
link(82,17) :- #0.813.
link(17,100) :- #0.491.
link(100,17) :- #0.272.
link(17,118) :- #0.824.
link(118,17) :- #0.383.
link(17,119) :- #0.692.
link(119,17) :- #0.426.
link(17,123) :- #0.325.
link(123,17) :- #0.628.
link(17,135) :- #0.064.
link(135,17) :- #0.984.
link(18,20) :- #0.699.
link(20,18) :- #0.67.
link(18,46) :- #0.22.
link(46,18) :- #0.369.
link(18,54) :- #0.989.
link(54,18) :- #0.247.
link(18,82) :- #0.011.
link(82,18) :- #0.381.
link(18,98) :- #0.609.
link(98,18) :- #0.176.
link(18,107) :- #0.666.
link(107,18) :- #0.995.
link(18,119) :- #0.648.
link(119,18) :- #0.294.
link(18,121) :- #0.881.
link(121,18) :- #0.305.
link(18,128) :- #0.237.
link(128,18) :- #0.389.
link(18,129) :- #0.159.
link(129,18) :- #0.24.
link(18,132) :- #0.08.
link(132,18) :- #0.224.
link(18,134) :- #0.338.
link(134,18) :- #0.789.
link(19,44) :- #0.99.
link(44,19) :- #0.669.
link(19,47) :- #0.735.
link(47,19) :- #0.903.
link(19,53) :- #0.262.
link(53,19) :- #0.845.
link(19,78) :- #0.06.
link(78,19) :- #0.271.
link(19,82) :- #0.694.
link(82,19) :- #0.696.
link(19,93) :- #0.995.
link(93,19) :- #0.649.
link(19,96) :- #0.699.
link(96,19) :- #0.927.
link(19,106) :- #0.631.
link(106,19) :- #0.634.
link(19,112) :- #0.479.
link(112,19) :- #0.706.
link(19,114) :- #0.233.
link(114,19) :- #0.052.
link(19,116) :- #0.095.
link(116,19) :- #0.138.
link(19,120) :- #0.793.
link(120,19) :- #0.883.
link(19,135) :- #0.208.
link(135,19) :- #0.432.
link(20,33) :- #0.598.
link(33,20) :- #0.652.
link(20,40) :- #0.569.
link(40,20) :- #0.939.
link(20,44) :- #0.434.
link(44,20) :- #0.96.
link(20,53) :- #0.243.
link(53,20) :- #0.255.
link(20,56) :- #0.832.
link(56,20) :- #0.586.
link(20,66) :- #0.101.
link(66,20) :- #0.149.
link(20,77) :- #0.978.
link(77,20) :- #0.96.
link(20,86) :- #0.114.
link(86,20) :- #0.962.
link(20,94) :- #0.858.
link(94,20) :- #0.468.
link(20,101) :- #0.286.
link(101,20) :- #0.833.
link(20,122) :- #0.205.
link(122,20) :- #0.721.
link(20,123) :- #0.878.
link(123,20) :- #0.698.
link(20,128) :- #0.806.
link(128,20) :- #0.841.
link(21,22) :- #0.739.
link(22,21) :- #0.848.
link(21,43) :- #0.054.
link(43,21) :- #0.584.
link(21,44) :- #0.571.
link(44,21) :- #0.125.
link(21,47) :- #0.071.
link(47,21) :- #0.717.
link(21,58) :- #0.701.
link(58,21) :- #0.826.
link(21,68) :- #0.715.
link(68,21) :- #0.944.
link(21,69) :- #0.159.
link(69,21) :- #0.568.
link(21,89) :- #0.643.
link(89,21) :- #0.418.
link(21,92) :- #0.488.
link(92,21) :- #0.668.
link(21,93) :- #0.118.
link(93,21) :- #0.03.
link(21,94) :- #0.852.
link(94,21) :- #0.92.
link(21,100) :- #0.269.
link(100,21) :- #0.169.
link(21,114) :- #0.434.
link(114,21) :- #0.609.
link(21,117) :- #0.962.
link(117,21) :- #0.285.
link(22,24) :- #0.442.
link(24,22) :- #0.389.
link(22,30) :- #0.967.
link(30,22) :- #0.709.
link(22,44) :- #0.88.
link(44,22) :- #0.774.
link(22,45) :- #0.613.
link(45,22) :- #0.582.
link(22,52) :- #0.594.
link(52,22) :- #0.735.
link(22,70) :- #0.037.
link(70,22) :- #0.424.
link(22,75) :- #0.606.
link(75,22) :- #0.687.
link(22,100) :- #0.491.
link(100,22) :- #0.501.
link(22,110) :- #0.649.
link(110,22) :- #0.539.
link(22,112) :- #0.978.
link(112,22) :- #0.417.
link(22,119) :- #0.779.
link(119,22) :- #0.629.
link(22,127) :- #0.074.
link(127,22) :- #0.841.
link(22,129) :- #0.556.
link(129,22) :- #0.131.
link(23,30) :- #0.686.
link(30,23) :- #0.235.
link(23,37) :- #0.172.
link(37,23) :- #0.842.
link(23,42) :- #0.274.
link(42,23) :- #0.567.
link(23,48) :- #0.002.
link(48,23) :- #0.291.
link(23,51) :- #0.862.
link(51,23) :- #0.913.
link(23,79) :- #0.911.
link(79,23) :- #0.56.
link(23,116) :- #0.732.
link(116,23) :- #0.417.
link(24,50) :- #0.687.
link(50,24) :- #0.486.
link(24,51) :- #0.834.
link(51,24) :- #0.411.
link(24,66) :- #0.456.
link(66,24) :- #0.546.
link(24,88) :- #0.538.
link(88,24) :- #0.475.
link(24,97) :- #0.937.
link(97,24) :- #0.434.
link(24,100) :- #0.886.
link(100,24) :- #0.477.
link(24,105) :- #0.878.
link(105,24) :- #0.304.
link(24,116) :- #0.979.
link(116,24) :- #0.129.
link(24,118) :- #0.559.
link(118,24) :- #0.02.
link(24,120) :- #0.747.
link(120,24) :- #0.477.
link(24,125) :- #0.754.
link(125,24) :- #0.448.
link(25,32) :- #0.185.
link(32,25) :- #0.933.
link(25,35) :- #0.881.
link(35,25) :- #0.155.
link(25,40) :- #0.126.
link(40,25) :- #0.745.
link(25,59) :- #0.132.
link(59,25) :- #0.755.
link(25,65) :- #0.966.
link(65,25) :- #0.096.
link(25,87) :- #0.462.
link(87,25) :- #0.999.
link(25,103) :- #0.012.
link(103,25) :- #0.557.
link(25,114) :- #0.129.
link(114,25) :- #0.256.
link(25,126) :- #0.699.
link(126,25) :- #0.497.
link(25,127) :- #0.8.
link(127,25) :- #0.066.
link(25,132) :- #0.044.
link(132,25) :- #0.942.
link(26,33) :- #0.667.
link(33,26) :- #0.392.
link(26,55) :- #0.859.
link(55,26) :- #0.342.
link(26,56) :- #0.708.
link(56,26) :- #0.136.
link(26,60) :- #0.377.
link(60,26) :- #0.143.
link(26,67) :- #0.74.
link(67,26) :- #0.626.
link(26,73) :- #0.689.
link(73,26) :- #0.875.
link(26,74) :- #0.713.
link(74,26) :- #0.558.
link(26,97) :- #0.363.
link(97,26) :- #0.687.
link(26,119) :- #0.401.
link(119,26) :- #0.1.
link(27,49) :- #0.515.
link(49,27) :- #0.797.
link(27,64) :- #0.955.
link(64,27) :- #0.494.
link(27,67) :- #0.839.
link(67,27) :- #0.722.
link(27,72) :- #0.338.
link(72,27) :- #0.916.
link(27,77) :- #0.458.
link(77,27) :- #0.409.
link(27,78) :- #0.584.
link(78,27) :- #0.881.
link(27,79) :- #0.953.
link(79,27) :- #0.474.
link(27,86) :- #0.501.
link(86,27) :- #0.356.
link(27,87) :- #0.602.
link(87,27) :- #0.826.
link(27,103) :- #0.587.
link(103,27) :- #0.411.
link(27,107) :- #0.317.
link(107,27) :- #0.426.
link(27,109) :- #0.784.
link(109,27) :- #0.87.
link(27,112) :- #0.24.
link(112,27) :- #0.991.
link(27,113) :- #0.277.
link(113,27) :- #0.614.
link(27,114) :- #0.679.
link(114,27) :- #0.109.
link(27,124) :- #0.119.
link(124,27) :- #0.02.
link(28,29) :- #0.434.
link(29,28) :- #0.659.
link(28,38) :- #0.473.
link(38,28) :- #0.239.
link(28,83) :- #0.483.
link(83,28) :- #0.16.
link(28,84) :- #0.705.
link(84,28) :- #0.615.
link(28,95) :- #0.01.
link(95,28) :- #0.917.
link(28,115) :- #0.488.
link(115,28) :- #0.432.
link(28,126) :- #0.427.
link(126,28) :- #0.7.
link(28,132) :- #0.302.
link(132,28) :- #0.182.
link(29,39) :- #0.035.
link(39,29) :- #0.355.
link(29,69) :- #0.628.
link(69,29) :- #0.93.
link(29,76) :- #0.588.
link(76,29) :- #0.895.
link(29,77) :- #0.639.
link(77,29) :- #0.551.
link(29,80) :- #0.999.
link(80,29) :- #0.43.
link(29,106) :- #0.851.
link(106,29) :- #0.329.
link(29,108) :- #0.755.
link(108,29) :- #0.996.
link(29,113) :- #0.042.
link(113,29) :- #0.8.
link(29,126) :- #0.207.
link(126,29) :- #0.179.
link(29,131) :- #0.602.
link(131,29) :- #0.757.
link(29,134) :- #0.371.
link(134,29) :- #0.076.
link(30,49) :- #0.307.
link(49,30) :- #0.979.
link(30,52) :- #0.318.
link(52,30) :- #0.959.
link(30,66) :- #0.614.
link(66,30) :- #0.721.
link(30,71) :- #0.885.
link(71,30) :- #0.148.
link(30,72) :- #0.721.
link(72,30) :- #0.099.
link(30,80) :- #0.619.
link(80,30) :- #0.515.
link(30,81) :- #0.629.
link(81,30) :- #0.7.
link(30,82) :- #0.37.
link(82,30) :- #0.321.
link(30,83) :- #0.852.
link(83,30) :- #0.575.
link(30,111) :- #0.327.
link(111,30) :- #0.309.
link(30,114) :- #0.591.
link(114,30) :- #0.066.
link(30,115) :- #0.984.
link(115,30) :- #0.215.
link(30,124) :- #0.429.
link(124,30) :- #0.954.
link(31,50) :- #0.186.
link(50,31) :- #0.705.
link(31,52) :- #0.849.
link(52,31) :- #0.287.
link(31,54) :- #0.226.
link(54,31) :- #0.863.
link(31,61) :- #0.168.
link(61,31) :- #0.047.
link(31,82) :- #0.656.
link(82,31) :- #0.3.
link(31,96) :- #0.291.
link(96,31) :- #0.93.
link(31,97) :- #0.949.
link(97,31) :- #0.966.
link(31,114) :- #0.895.
link(114,31) :- #0.729.
link(31,135) :- #0.259.
link(135,31) :- #0.429.
link(32,36) :- #0.151.
link(36,32) :- #0.923.
link(32,40) :- #0.813.
link(40,32) :- #0.428.
link(32,89) :- #0.684.
link(89,32) :- #0.589.
link(32,99) :- #0.006.
link(99,32) :- #0.613.
link(32,101) :- #0.42.
link(101,32) :- #0.654.
link(32,111) :- #0.151.
link(111,32) :- #0.813.
link(32,118) :- #0.024.
link(118,32) :- #0.29.
link(32,122) :- #0.394.
link(122,32) :- #0.523.
link(32,124) :- #0.43.
link(124,32) :- #0.995.
link(32,133) :- #0.271.
link(133,32) :- #0.482.
link(32,135) :- #0.212.
link(135,32) :- #0.954.
link(33,35) :- #0.143.
link(35,33) :- #0.851.
link(33,46) :- #0.166.
link(46,33) :- #0.024.
link(33,47) :- #0.836.
link(47,33) :- #0.927.
link(33,59) :- #0.274.
link(59,33) :- #0.179.
link(33,62) :- #0.722.
link(62,33) :- #0.336.
link(33,67) :- #0.324.
link(67,33) :- #0.277.
link(33,70) :- #0.275.
link(70,33) :- #0.044.
link(33,80) :- #0.723.
link(80,33) :- #0.272.
link(33,89) :- #0.707.
link(89,33) :- #0.057.
link(33,93) :- #0.949.
link(93,33) :- #0.619.
link(33,95) :- #0.163.
link(95,33) :- #0.855.
link(33,101) :- #0.362.
link(101,33) :- #0.154.
link(33,109) :- #0.187.
link(109,33) :- #0.045.
link(34,39) :- #0.711.
link(39,34) :- #0.443.
link(34,40) :- #0.122.
link(40,34) :- #0.509.
link(34,46) :- #0.171.
link(46,34) :- #0.936.
link(34,48) :- #0.762.
link(48,34) :- #0.207.
link(34,61) :- #0.566.
link(61,34) :- #0.733.
link(34,63) :- #0.053.
link(63,34) :- #0.219.
link(34,78) :- #0.037.
link(78,34) :- #0.578.
link(34,115) :- #0.171.
link(115,34) :- #0.511.
link(35,41) :- #0.54.
link(41,35) :- #0.694.
link(35,42) :- #0.478.
link(42,35) :- #0.165.
link(35,45) :- #0.712.
link(45,35) :- #0.176.
link(35,47) :- #0.192.
link(47,35) :- #0.422.
link(35,61) :- #0.901.
link(61,35) :- #0.043.
link(35,65) :- #0.338.
link(65,35) :- #0.289.
link(35,67) :- #0.913.
link(67,35) :- #0.381.
link(35,68) :- #0.283.
link(68,35) :- #0.595.
link(35,69) :- #0.78.
link(69,35) :- #0.811.
link(35,71) :- #0.845.
link(71,35) :- #0.347.
link(35,82) :- #0.954.
link(82,35) :- #0.149.
link(35,96) :- #0.374.
link(96,35) :- #0.908.
link(35,114) :- #0.627.
link(114,35) :- #0.42.
link(35,119) :- #0.895.
link(119,35) :- #0.521.
link(35,122) :- #0.59.
link(122,35) :- #0.555.
link(36,37) :- #0.314.
link(37,36) :- #0.036.
link(36,46) :- #0.54.
link(46,36) :- #0.149.
link(36,57) :- #0.102.
link(57,36) :- #0.431.
link(36,71) :- #0.079.
link(71,36) :- #0.651.
link(36,75) :- #0.753.
link(75,36) :- #0.872.
link(36,91) :- #0.575.
link(91,36) :- #0.559.
link(36,104) :- #0.733.
link(104,36) :- #0.356.
link(36,109) :- #0.562.
link(109,36) :- #0.427.
link(37,39) :- #0.654.
link(39,37) :- #0.288.
link(37,49) :- #0.673.
link(49,37) :- #0.371.
link(37,55) :- #0.693.
link(55,37) :- #0.087.
link(37,57) :- #0.97.
link(57,37) :- #0.805.
link(37,74) :- #0.211.
link(74,37) :- #0.927.
link(37,91) :- #0.698.
link(91,37) :- #0.32.
link(37,96) :- #0.24.
link(96,37) :- #0.863.
link(37,104) :- #0.643.
link(104,37) :- #0.156.
link(37,116) :- #0.662.
link(116,37) :- #0.924.
link(37,118) :- #0.397.
link(118,37) :- #0.949.
link(38,48) :- #0.291.
link(48,38) :- #0.51.
link(38,75) :- #0.683.
link(75,38) :- #0.315.
link(38,81) :- #0.394.
link(81,38) :- #0.732.
link(38,90) :- #0.809.
link(90,38) :- #0.963.
link(38,125) :- #0.034.
link(125,38) :- #0.028.
link(38,128) :- #0.908.
link(128,38) :- #0.198.
link(38,131) :- #0.78.
link(131,38) :- #0.514.
link(39,54) :- #0.745.
link(54,39) :- #0.718.
link(39,55) :- #0.025.
link(55,39) :- #0.541.
link(39,67) :- #0.909.
link(67,39) :- #0.127.
link(39,96) :- #0.365.
link(96,39) :- #0.875.
link(39,108) :- #0.506.
link(108,39) :- #0.659.
link(39,110) :- #0.149.
link(110,39) :- #0.77.
link(39,114) :- #0.371.
link(114,39) :- #0.702.
link(39,116) :- #0.403.
link(116,39) :- #0.078.
link(39,118) :- #0.897.
link(118,39) :- #0.026.
link(39,122) :- #0.597.
link(122,39) :- #0.896.
link(39,130) :- #0.254.
link(130,39) :- #0.613.
link(40,46) :- #0.25.
link(46,40) :- #0.249.
link(40,51) :- #0.977.
link(51,40) :- #0.967.
link(40,72) :- #0.487.
link(72,40) :- #0.984.
link(40,74) :- #0.909.
link(74,40) :- #0.062.
link(40,75) :- #0.768.
link(75,40) :- #0.513.
link(40,76) :- #0.679.
link(76,40) :- #0.252.
link(40,82) :- #0.886.
link(82,40) :- #0.925.
link(40,83) :- #0.478.
link(83,40) :- #0.611.
link(40,92) :- #0.759.
link(92,40) :- #0.432.
link(40,126) :- #0.598.
link(126,40) :- #0.159.
link(40,128) :- #0.764.
link(128,40) :- #0.195.
link(40,130) :- #0.156.
link(130,40) :- #0.093.
link(41,47) :- #0.392.
link(47,41) :- #0.61.
link(41,52) :- #0.807.
link(52,41) :- #0.738.
link(41,54) :- #0.841.
link(54,41) :- #0.608.
link(41,60) :- #0.047.
link(60,41) :- #0.924.
link(41,64) :- #0.736.
link(64,41) :- #0.817.
link(41,82) :- #0.502.
link(82,41) :- #0.576.
link(41,84) :- #0.389.
link(84,41) :- #0.623.
link(41,87) :- #0.354.
link(87,41) :- #0.565.
link(41,100) :- #0.828.
link(100,41) :- #0.551.
link(41,106) :- #0.644.
link(106,41) :- #0.415.
link(41,108) :- #0.781.
link(108,41) :- #0.71.
link(41,126) :- #0.598.
link(126,41) :- #0.121.
link(42,49) :- #0.115.
link(49,42) :- #0.501.
link(42,66) :- #0.552.
link(66,42) :- #0.412.
link(42,72) :- #0.005.
link(72,42) :- #0.735.
link(42,74) :- #0.413.
link(74,42) :- #0.05.
link(42,79) :- #0.747.
link(79,42) :- #0.001.
link(42,114) :- #0.548.
link(114,42) :- #0.663.
link(42,115) :- #0.405.
link(115,42) :- #0.311.
link(42,116) :- #0.208.
link(116,42) :- #0.747.
link(43,50) :- #0.951.
link(50,43) :- #0.182.
link(43,63) :- #0.382.
link(63,43) :- #0.59.
link(43,94) :- #0.623.
link(94,43) :- #0.604.
link(43,95) :- #0.658.
link(95,43) :- #0.327.
link(43,104) :- #0.627.
link(104,43) :- #0.193.
link(43,112) :- #0.097.
link(112,43) :- #0.181.
link(43,118) :- #0.11.
link(118,43) :- #0.127.
link(43,125) :- #0.553.
link(125,43) :- #0.281.
link(44,60) :- #0.398.
link(60,44) :- #0.579.
link(44,78) :- #0.449.
link(78,44) :- #0.64.
link(44,83) :- #0.575.
link(83,44) :- #0.628.
link(44,84) :- #0.996.
link(84,44) :- #0.796.
link(44,96) :- #0.565.
link(96,44) :- #0.611.
link(44,110) :- #0.749.
link(110,44) :- #0.913.
link(44,123) :- #0.446.
link(123,44) :- #0.337.
link(44,130) :- #0.338.
link(130,44) :- #0.444.
link(45,50) :- #0.8.
link(50,45) :- #0.114.
link(45,53) :- #0.245.
link(53,45) :- #0.74.
link(45,60) :- #0.743.
link(60,45) :- #0.436.
link(45,83) :- #0.508.
link(83,45) :- #0.637.
link(45,91) :- #0.985.
link(91,45) :- #0.174.
link(45,94) :- #0.73.
link(94,45) :- #0.305.
link(45,95) :- #0.784.
link(95,45) :- #0.838.
link(45,103) :- #0.602.
link(103,45) :- #0.701.
link(45,109) :- #0.262.
link(109,45) :- #0.864.
link(45,124) :- #0.128.
link(124,45) :- #0.33.
link(45,127) :- #0.755.
link(127,45) :- #0.046.
link(46,56) :- #0.686.
link(56,46) :- #0.685.
link(46,69) :- #0.249.
link(69,46) :- #0.033.
link(46,70) :- #0.209.
link(70,46) :- #0.439.
link(46,81) :- #0.54.
link(81,46) :- #0.127.
link(46,84) :- #0.768.
link(84,46) :- #0.058.
link(46,86) :- #0.375.
link(86,46) :- #0.054.
link(46,89) :- #0.418.
link(89,46) :- #0.954.
link(46,103) :- #0.121.
link(103,46) :- #0.586.
link(46,120) :- #0.822.
link(120,46) :- #0.235.
link(46,123) :- #0.457.
link(123,46) :- #0.366.
link(46,129) :- #0.058.
link(129,46) :- #0.818.
link(47,66) :- #0.522.
link(66,47) :- #0.26.
link(47,68) :- #0.543.
link(68,47) :- #0.504.
link(47,71) :- #0.971.
link(71,47) :- #0.566.
link(47,73) :- #0.701.
link(73,47) :- #0.251.
link(47,97) :- #0.511.
link(97,47) :- #0.158.
link(47,115) :- #0.263.
link(115,47) :- #0.266.
link(47,123) :- #0.946.
link(123,47) :- #0.803.
link(47,125) :- #0.744.
link(125,47) :- #0.844.
link(47,128) :- #0.249.
link(128,47) :- #0.567.
link(48,65) :- #0.042.
link(65,48) :- #0.689.
link(48,80) :- #0.056.
link(80,48) :- #0.238.
link(48,87) :- #0.515.
link(87,48) :- #0.245.
link(48,91) :- #0.629.
link(91,48) :- #0.635.
link(48,97) :- #0.55.
link(97,48) :- #0.787.
link(48,114) :- #0.26.
link(114,48) :- #0.348.
link(48,117) :- #0.158.
link(117,48) :- #0.278.
link(48,122) :- #0.313.
link(122,48) :- #0.06.
link(48,125) :- #0.736.
link(125,48) :- #0.685.
link(48,128) :- #0.32.
link(128,48) :- #0.956.
link(48,131) :- #0.836.
link(131,48) :- #0.347.
link(49,128) :- #0.393.
link(128,49) :- #0.494.
link(50,51) :- #0.655.
link(51,50) :- #0.294.
link(50,65) :- #0.604.
link(65,50) :- #0.948.
link(50,67) :- #0.433.
link(67,50) :- #0.202.
link(50,78) :- #0.115.
link(78,50) :- #0.753.
link(50,92) :- #0.103.
link(92,50) :- #0.943.
link(50,99) :- #0.862.
link(99,50) :- #0.782.
link(50,102) :- #0.049.
link(102,50) :- #0.735.
link(50,115) :- #0.381.
link(115,50) :- #0.963.
link(50,134) :- #0.81.
link(134,50) :- #0.551.
link(51,62) :- #0.072.
link(62,51) :- #0.063.
link(51,76) :- #0.047.
link(76,51) :- #0.284.
link(51,82) :- #0.565.
link(82,51) :- #0.297.
link(51,83) :- #0.081.
link(83,51) :- #0.771.
link(51,108) :- #0.035.
link(108,51) :- #0.632.
link(51,118) :- #0.321.
link(118,51) :- #0.012.
link(51,122) :- #0.74.
link(122,51) :- #0.082.
link(51,134) :- #0.68.
link(134,51) :- #0.175.
link(52,64) :- #0.134.
link(64,52) :- #0.887.
link(52,89) :- #0.76.
link(89,52) :- #0.376.
link(52,95) :- #0.575.
link(95,52) :- #0.653.
link(52,98) :- #0.694.
link(98,52) :- #0.946.
link(52,113) :- #0.537.
link(113,52) :- #0.254.
link(52,122) :- #0.561.
link(122,52) :- #0.308.
link(53,63) :- #0.027.
link(63,53) :- #0.471.
link(53,80) :- #0.846.
link(80,53) :- #0.736.
link(53,103) :- #0.194.
link(103,53) :- #0.084.
link(53,106) :- #0.204.
link(106,53) :- #0.728.
link(53,110) :- #0.42.
link(110,53) :- #0.731.
link(54,64) :- #0.46.
link(64,54) :- #0.308.
link(54,72) :- #0.168.
link(72,54) :- #0.507.
link(54,86) :- #0.384.
link(86,54) :- #0.239.
link(54,90) :- #0.683.
link(90,54) :- #0.878.
link(54,92) :- #0.856.
link(92,54) :- #0.361.
link(54,105) :- #0.195.
link(105,54) :- #0.179.
link(54,108) :- #0.143.
link(108,54) :- #0.349.
link(55,57) :- #0.311.
link(57,55) :- #0.183.
link(55,70) :- #0.455.
link(70,55) :- #0.421.
link(55,79) :- #0.872.
link(79,55) :- #0.206.
link(55,87) :- #0.764.
link(87,55) :- #0.38.
link(55,90) :- #0.093.
link(90,55) :- #0.837.
link(55,92) :- #0.322.
link(92,55) :- #0.049.
link(55,127) :- #0.575.
link(127,55) :- #0.972.
link(55,128) :- #0.743.
link(128,55) :- #0.315.
link(56,75) :- #0.752.
link(75,56) :- #0.798.
link(56,90) :- #0.127.
link(90,56) :- #0.662.
link(56,91) :- #0.977.
link(91,56) :- #0.019.
link(56,122) :- #0.291.
link(122,56) :- #0.155.
link(56,124) :- #0.451.
link(124,56) :- #0.975.
link(57,59) :- #0.802.
link(59,57) :- #0.18.
link(57,65) :- #0.081.
link(65,57) :- #0.618.
link(57,68) :- #0.368.
link(68,57) :- #0.045.
link(57,72) :- #0.518.
link(72,57) :- #0.194.
link(57,99) :- #0.24.
link(99,57) :- #0.334.
link(57,106) :- #0.769.
link(106,57) :- #0.188.
link(57,132) :- #0.217.
link(132,57) :- #0.319.
link(58,59) :- #0.873.
link(59,58) :- #0.811.
link(58,63) :- #0.457.
link(63,58) :- #0.938.
link(58,71) :- #0.197.
link(71,58) :- #0.233.
link(58,72) :- #0.726.
link(72,58) :- #0.831.
link(58,73) :- #0.338.
link(73,58) :- #0.732.
link(58,75) :- #0.559.
link(75,58) :- #0.634.
link(58,79) :- #0.793.
link(79,58) :- #0.067.
link(58,89) :- #0.711.
link(89,58) :- #0.428.
link(58,92) :- #0.476.
link(92,58) :- #0.1.
link(58,97) :- #0.721.
link(97,58) :- #0.613.
link(58,104) :- #0.234.
link(104,58) :- #0.177.
link(58,131) :- #0.407.
link(131,58) :- #0.168.
link(58,134) :- #0.603.
link(134,58) :- #0.868.
link(59,60) :- #0.127.
link(60,59) :- #0.607.
link(59,69) :- #0.538.
link(69,59) :- #0.73.
link(59,73) :- #0.006.
link(73,59) :- #0.97.
link(59,76) :- #0.374.
link(76,59) :- #0.038.
link(59,78) :- #0.477.
link(78,59) :- #0.022.
link(59,83) :- #0.325.
link(83,59) :- #0.371.
link(59,84) :- #0.115.
link(84,59) :- #0.661.
link(59,87) :- #0.703.
link(87,59) :- #0.357.
link(59,96) :- #0.265.
link(96,59) :- #0.393.
link(59,104) :- #0.379.
link(104,59) :- #0.167.
link(59,108) :- #0.351.
link(108,59) :- #0.055.
link(59,113) :- #0.799.
link(113,59) :- #0.899.
link(59,123) :- #0.461.
link(123,59) :- #0.503.
link(59,124) :- #0.861.
link(124,59) :- #0.295.
link(59,135) :- #0.14.
link(135,59) :- #0.537.
link(60,65) :- #0.801.
link(65,60) :- #0.027.
link(60,79) :- #0.644.
link(79,60) :- #0.399.
link(60,88) :- #0.941.
link(88,60) :- #0.797.
link(60,105) :- #0.958.
link(105,60) :- #0.83.
link(60,107) :- #0.809.
link(107,60) :- #0.923.
link(60,110) :- #0.909.
link(110,60) :- #0.216.
link(60,119) :- #0.126.
link(119,60) :- #0.539.
link(60,121) :- #0.883.
link(121,60) :- #0.069.
link(61,62) :- #0.144.
link(62,61) :- #0.038.
link(61,67) :- #0.051.
link(67,61) :- #0.224.
link(61,71) :- #0.273.
link(71,61) :- #0.332.
link(61,73) :- #0.359.
link(73,61) :- #0.034.
link(61,75) :- #0.279.
link(75,61) :- #0.505.
link(61,116) :- #0.657.
link(116,61) :- #0.718.
link(61,124) :- #0.165.
link(124,61) :- #0.022.
link(61,132) :- #0.466.
link(132,61) :- #0.424.
link(62,63) :- #0.231.
link(63,62) :- #0.845.
link(62,65) :- #0.705.
link(65,62) :- #0.445.
link(62,71) :- #0.466.
link(71,62) :- #0.218.
link(62,95) :- #0.859.
link(95,62) :- #0.34.
link(62,106) :- #0.144.
link(106,62) :- #0.029.
link(62,135) :- #0.205.
link(135,62) :- #0.043.
link(63,88) :- #0.138.
link(88,63) :- #0.291.
link(63,94) :- #0.754.
link(94,63) :- #0.73.
link(63,105) :- #0.429.
link(105,63) :- #0.285.
link(63,119) :- #0.243.
link(119,63) :- #0.598.
link(63,121) :- #0.627.
link(121,63) :- #0.174.
link(63,124) :- #0.999.
link(124,63) :- #0.408.
link(64,68) :- #0.097.
link(68,64) :- #0.885.
link(64,76) :- #0.466.
link(76,64) :- #0.745.
link(64,92) :- #0.694.
link(92,64) :- #0.495.
link(64,96) :- #0.309.
link(96,64) :- #0.402.
link(64,120) :- #0.865.
link(120,64) :- #0.482.
link(64,122) :- #0.74.
link(122,64) :- #0.972.
link(64,124) :- #0.342.
link(124,64) :- #0.585.
link(64,129) :- #0.21.
link(129,64) :- #0.804.
link(64,130) :- #0.192.
link(130,64) :- #0.507.
link(65,75) :- #0.199.
link(75,65) :- #0.644.
link(65,84) :- #0.12.
link(84,65) :- #0.93.
link(65,98) :- #0.1.
link(98,65) :- #0.006.
link(65,116) :- #0.671.
link(116,65) :- #0.529.
link(65,119) :- #0.364.
link(119,65) :- #0.048.
link(66,68) :- #0.023.
link(68,66) :- #0.729.
link(66,108) :- #0.093.
link(108,66) :- #0.189.
link(66,111) :- #0.07.
link(111,66) :- #0.483.
link(66,118) :- #0.366.
link(118,66) :- #0.23.
link(67,129) :- #0.302.
link(129,67) :- #0.283.
link(67,135) :- #0.017.
link(135,67) :- #0.192.
link(68,80) :- #0.928.
link(80,68) :- #0.114.
link(68,108) :- #0.547.
link(108,68) :- #0.678.
link(68,114) :- #0.792.
link(114,68) :- #0.129.
link(68,115) :- #0.984.
link(115,68) :- #0.449.
link(68,123) :- #0.76.
link(123,68) :- #0.066.
link(69,80) :- #0.889.
link(80,69) :- #0.97.
link(69,83) :- #0.748.
link(83,69) :- #0.949.
link(69,85) :- #0.472.
link(85,69) :- #0.493.
link(69,112) :- #0.874.
link(112,69) :- #0.548.
link(69,117) :- #0.771.
link(117,69) :- #0.373.
link(70,80) :- #0.784.
link(80,70) :- #0.501.
link(70,93) :- #0.737.
link(93,70) :- #0.666.
link(70,116) :- #0.257.
link(116,70) :- #0.641.
link(70,120) :- #0.555.
link(120,70) :- #0.961.
link(70,126) :- #0.216.
link(126,70) :- #0.057.
link(71,83) :- #0.664.
link(83,71) :- #0.015.
link(71,108) :- #0.224.
link(108,71) :- #0.884.
link(71,119) :- #0.341.
link(119,71) :- #0.271.
link(72,83) :- #0.027.
link(83,72) :- #0.066.
link(72,85) :- #0.913.
link(85,72) :- #0.1.
link(72,98) :- #0.346.
link(98,72) :- #0.975.
link(72,133) :- #0.062.
link(133,72) :- #0.679.
link(72,134) :- #0.686.
link(134,72) :- #0.074.
link(73,74) :- #0.285.
link(74,73) :- #0.308.
link(73,76) :- #0.666.
link(76,73) :- #0.058.
link(73,94) :- #0.75.
link(94,73) :- #0.651.
link(73,110) :- #0.277.
link(110,73) :- #0.237.
link(73,130) :- #0.777.
link(130,73) :- #0.585.
link(74,95) :- #0.368.
link(95,74) :- #0.307.
link(74,118) :- #0.422.
link(118,74) :- #0.785.
link(75,80) :- #0.729.
link(80,75) :- #0.127.
link(75,86) :- #0.735.
link(86,75) :- #0.95.
link(75,98) :- #0.888.
link(98,75) :- #0.26.
link(75,100) :- #0.513.
link(100,75) :- #0.083.
link(75,102) :- #0.475.
link(102,75) :- #0.915.
link(75,103) :- #0.798.
link(103,75) :- #0.996.
link(75,111) :- #0.89.
link(111,75) :- #0.603.
link(75,129) :- #0.243.
link(129,75) :- #0.207.
link(76,84) :- #0.515.
link(84,76) :- #0.41.
link(76,91) :- #0.138.
link(91,76) :- #0.634.
link(76,101) :- #0.694.
link(101,76) :- #0.961.
link(76,109) :- #0.563.
link(109,76) :- #0.568.
link(76,111) :- #0.695.
link(111,76) :- #0.918.
link(76,126) :- #0.569.
link(126,76) :- #0.713.
link(76,134) :- #0.481.
link(134,76) :- #0.53.
link(77,79) :- #0.597.
link(79,77) :- #0.978.
link(77,83) :- #0.996.
link(83,77) :- #0.317.
link(77,98) :- #0.712.
link(98,77) :- #0.789.
link(77,100) :- #0.061.
link(100,77) :- #0.299.
link(77,134) :- #0.597.
link(134,77) :- #0.249.
link(77,135) :- #0.75.
link(135,77) :- #0.288.
link(78,88) :- #0.326.
link(88,78) :- #0.223.
link(78,91) :- #0.068.
link(91,78) :- #0.987.
link(78,106) :- #0.48.
link(106,78) :- #0.548.
link(78,127) :- #0.027.
link(127,78) :- #0.171.
link(78,135) :- #0.291.
link(135,78) :- #0.021.
link(79,90) :- #0.205.
link(90,79) :- #0.758.
link(79,94) :- #0.958.
link(94,79) :- #0.569.
link(79,97) :- #0.835.
link(97,79) :- #0.474.
link(79,107) :- #0.492.
link(107,79) :- #0.282.
link(79,118) :- #0.548.
link(118,79) :- #0.234.
link(79,123) :- #0.097.
link(123,79) :- #0.547.
link(79,135) :- #0.446.
link(135,79) :- #0.684.
link(80,86) :- #0.055.
link(86,80) :- #0.909.
link(80,102) :- #0.995.
link(102,80) :- #0.331.
link(80,111) :- #0.943.
link(111,80) :- #0.945.
link(81,86) :- #0.858.
link(86,81) :- #0.658.
link(81,87) :- #0.918.
link(87,81) :- #0.289.
link(81,98) :- #0.647.
link(98,81) :- #0.949.
link(81,101) :- #0.459.
link(101,81) :- #0.213.
link(82,97) :- #0.381.
link(97,82) :- #0.52.
link(82,108) :- #0.77.
link(108,82) :- #0.942.
link(82,120) :- #0.297.
link(120,82) :- #0.618.
link(82,122) :- #0.63.
link(122,82) :- #0.322.
link(82,130) :- #0.358.
link(130,82) :- #0.72.
link(83,86) :- #0.747.
link(86,83) :- #0.801.
link(83,90) :- #0.209.
link(90,83) :- #0.786.
link(83,103) :- #0.037.
link(103,83) :- #0.973.
link(83,113) :- #0.31.
link(113,83) :- #0.597.
link(83,118) :- #0.075.
link(118,83) :- #0.634.
link(83,131) :- #0.078.
link(131,83) :- #0.54.
link(84,91) :- #0.597.
link(91,84) :- #0.203.
link(84,98) :- #0.142.
link(98,84) :- #0.593.
link(84,100) :- #0.089.
link(100,84) :- #0.315.
link(85,99) :- #0.382.
link(99,85) :- #0.231.
link(85,103) :- #0.45.
link(103,85) :- #0.882.
link(85,113) :- #0.627.
link(113,85) :- #0.002.
link(85,120) :- #0.636.
link(120,85) :- #0.096.
link(85,129) :- #0.35.
link(129,85) :- #0.61.
link(86,102) :- #0.147.
link(102,86) :- #0.996.
link(86,110) :- #0.046.
link(110,86) :- #0.02.
link(86,113) :- #0.911.
link(113,86) :- #0.765.
link(86,117) :- #0.408.
link(117,86) :- #0.842.
link(86,130) :- #0.436.
link(130,86) :- #0.905.
link(86,131) :- #0.759.
link(131,86) :- #0.651.
link(87,89) :- #0.202.
link(89,87) :- #0.608.
link(87,97) :- #0.293.
link(97,87) :- #0.966.
link(87,105) :- #0.891.
link(105,87) :- #0.784.
link(87,106) :- #0.464.
link(106,87) :- #0.965.
link(87,121) :- #0.836.
link(121,87) :- #0.365.
link(87,122) :- #0.969.
link(122,87) :- #0.178.
link(88,105) :- #0.589.
link(105,88) :- #0.258.
link(88,106) :- #0.082.
link(106,88) :- #0.072.
link(88,129) :- #0.877.
link(129,88) :- #0.971.
link(89,96) :- #0.129.
link(96,89) :- #0.59.
link(89,104) :- #0.824.
link(104,89) :- #0.859.
link(89,125) :- #0.535.
link(125,89) :- #0.17.
link(90,99) :- #0.77.
link(99,90) :- #0.726.
link(90,116) :- #0.305.
link(116,90) :- #0.984.
link(90,130) :- #0.599.
link(130,90) :- #0.286.
link(91,105) :- #0.16.
link(105,91) :- #0.938.
link(91,113) :- #0.147.
link(113,91) :- #0.672.
link(92,96) :- #0.593.
link(96,92) :- #0.414.
link(92,99) :- #0.233.
link(99,92) :- #0.622.
link(92,102) :- #0.131.
link(102,92) :- #0.635.
link(92,106) :- #0.532.
link(106,92) :- #0.397.
link(92,116) :- #0.547.
link(116,92) :- #0.453.
link(92,125) :- #0.99.
link(125,92) :- #0.596.
link(92,133) :- #0.085.
link(133,92) :- #0.228.
link(92,134) :- #0.467.
link(134,92) :- #0.16.
link(93,108) :- #0.064.
link(108,93) :- #0.256.
link(93,127) :- #0.062.
link(127,93) :- #0.693.
link(94,96) :- #0.05.
link(96,94) :- #0.
link(94,99) :- #0.918.
link(99,94) :- #0.25.
link(94,102) :- #0.99.
link(102,94) :- #0.633.
link(94,126) :- #0.582.
link(126,94) :- #0.421.
link(95,110) :- #0.934.
link(110,95) :- #0.157.
link(95,111) :- #0.464.
link(111,95) :- #0.744.
link(95,114) :- #0.711.
link(114,95) :- #0.77.
link(95,115) :- #0.609.
link(115,95) :- #0.333.
link(95,117) :- #0.05.
link(117,95) :- #0.105.
link(95,125) :- #0.858.
link(125,95) :- #0.353.
link(95,128) :- #0.248.
link(128,95) :- #0.283.
link(96,100) :- #0.185.
link(100,96) :- #0.436.
link(96,111) :- #0.602.
link(111,96) :- #0.232.
link(97,108) :- #0.049.
link(108,97) :- #0.929.
link(97,111) :- #0.209.
link(111,97) :- #0.856.
link(97,113) :- #0.636.
link(113,97) :- #0.521.
link(97,115) :- #0.617.
link(115,97) :- #0.21.
link(97,118) :- #0.626.
link(118,97) :- #0.259.
link(97,124) :- #0.502.
link(124,97) :- #0.761.
link(98,122) :- #0.239.
link(122,98) :- #0.496.
link(98,135) :- #0.545.
link(135,98) :- #0.083.
link(99,101) :- #0.995.
link(101,99) :- #0.199.
link(99,128) :- #0.889.
link(128,99) :- #0.228.
link(99,133) :- #0.296.
link(133,99) :- #0.29.
link(100,104) :- #0.627.
link(104,100) :- #0.649.
link(100,111) :- #0.236.
link(111,100) :- #0.864.
link(100,113) :- #0.306.
link(113,100) :- #0.746.
link(100,124) :- #0.407.
link(124,100) :- #0.025.
link(101,105) :- #0.199.
link(105,101) :- #0.937.
link(101,111) :- #0.776.
link(111,101) :- #0.542.
link(101,117) :- #0.37.
link(117,101) :- #0.061.
link(101,120) :- #0.449.
link(120,101) :- #0.157.
link(101,121) :- #0.269.
link(121,101) :- #0.912.
link(101,134) :- #0.483.
link(134,101) :- #0.237.
link(102,112) :- #0.644.
link(112,102) :- #0.872.
link(102,117) :- #0.351.
link(117,102) :- #0.024.
link(102,125) :- #0.085.
link(125,102) :- #0.871.
link(102,130) :- #0.724.
link(130,102) :- #0.261.
link(103,127) :- #0.037.
link(127,103) :- #0.935.
link(104,116) :- #0.272.
link(116,104) :- #0.766.
link(104,134) :- #0.906.
link(134,104) :- #0.408.
link(105,113) :- #0.292.
link(113,105) :- #0.097.
link(105,115) :- #0.207.
link(115,105) :- #0.586.
link(105,116) :- #0.188.
link(116,105) :- #0.922.
link(105,125) :- #0.882.
link(125,105) :- #0.209.
link(105,131) :- #0.795.
link(131,105) :- #0.836.
link(106,135) :- #0.917.
link(135,106) :- #0.495.
link(107,108) :- #0.235.
link(108,107) :- #0.065.
link(107,119) :- #0.739.
link(119,107) :- #0.413.
link(107,124) :- #0.298.
link(124,107) :- #0.831.
link(107,127) :- #0.097.
link(127,107) :- #0.785.
link(107,128) :- #0.34.
link(128,107) :- #0.743.
link(107,133) :- #0.982.
link(133,107) :- #0.717.
link(108,119) :- #0.513.
link(119,108) :- #0.893.
link(108,124) :- #0.814.
link(124,108) :- #0.533.
link(108,135) :- #0.841.
link(135,108) :- #0.641.
link(109,112) :- #0.442.
link(112,109) :- #0.966.
link(109,131) :- #0.838.
link(131,109) :- #0.225.
link(109,133) :- #0.398.
link(133,109) :- #0.073.
link(110,119) :- #0.807.
link(119,110) :- #0.309.
link(110,129) :- #0.294.
link(129,110) :- #0.444.
link(111,117) :- #0.867.
link(117,111) :- #0.551.
link(112,120) :- #0.763.
link(120,112) :- #0.427.
link(112,123) :- #0.723.
link(123,112) :- #0.039.
link(112,128) :- #0.142.
link(128,112) :- #0.704.
link(113,115) :- #0.783.
link(115,113) :- #0.318.
link(113,116) :- #0.345.
link(116,113) :- #0.685.
link(113,128) :- #0.058.
link(128,113) :- #0.455.
link(113,129) :- #0.322.
link(129,113) :- #0.363.
link(114,123) :- #0.239.
link(123,114) :- #0.689.
link(114,133) :- #0.14.
link(133,114) :- #0.124.
link(114,135) :- #0.964.
link(135,114) :- #0.177.
link(116,120) :- #0.411.
link(120,116) :- #0.897.
link(116,129) :- #0.873.
link(129,116) :- #0.024.
link(116,134) :- #0.037.
link(134,116) :- #0.391.
link(117,125) :- #0.059.
link(125,117) :- #0.479.
link(117,128) :- #0.78.
link(128,117) :- #0.183.
link(117,132) :- #0.641.
link(132,117) :- #0.917.
link(118,126) :- #0.027.
link(126,118) :- #0.123.
link(118,132) :- #0.762.
link(132,118) :- #0.198.
link(118,135) :- #0.143.
link(135,118) :- #0.187.
link(119,125) :- #0.501.
link(125,119) :- #0.459.
link(119,126) :- #0.889.
link(126,119) :- #0.974.
link(119,129) :- #0.166.
link(129,119) :- #0.297.
link(119,133) :- #0.276.
link(133,119) :- #0.95.
link(121,129) :- #0.826.
link(129,121) :- #0.28.
link(122,130) :- #0.629.
link(130,122) :- #0.133.
link(122,131) :- #0.792.
link(131,122) :- #0.359.
link(123,126) :- #0.469.
link(126,123) :- #0.78.
link(123,127) :- #0.099.
link(127,123) :- #0.102.
link(124,134) :- #0.306.
link(134,124) :- #0.06.
link(124,135) :- #0.86.
link(135,124) :- #0.025.
link(126,128) :- #0.812.
link(128,126) :- #0.333.
link(128,133) :- #0.068.
link(133,128) :- #0.993.
link(130,131) :- #0.868.
link(131,130) :- #0.357.
link(131,133) :- #0.891.
link(133,131) :- #0.801.
link(132,133) :- #0.117.
link(133,132) :- #0.107.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
